Перевод: с русского на все языки

со всех языков на русский

horn wedge

См. также в других словарях:

  • Horn-Formel — Horn Formeln sind eine wichtige Teilmenge der prädikatenlogischen Formeln. Sie spielen eine zentrale Rolle in der Logischen Programmierung und sind von Bedeutung für die konstruktive Logik. Benannt wurden sie nach dem US amerikanischen Logiker… …   Deutsch Wikipedia

  • Horn-Klausel — Horn Formeln sind eine spezielle Teilmenge der aussagenlogischen Formeln. Benannt wurden sie nach dem US amerikanischen Logiker Alfred Horn. Inhaltsverzeichnis 1 Definition mit Horn Klauseln 1.1 Beispiele 1.2 Darstellungsformen von Horn Klauseln… …   Deutsch Wikipedia

  • Horn-Klauseln — Horn Formeln sind eine spezielle Teilmenge der aussagenlogischen Formeln. Benannt wurden sie nach dem US amerikanischen Logiker Alfred Horn. Inhaltsverzeichnis 1 Definition mit Horn Klauseln 1.1 Beispiele 1.2 Darstellungsformen von Horn Klauseln… …   Deutsch Wikipedia

  • Horn clause — In mathematical logic, a Horn clause is a clause (a disjunction of literals) with at most one positive literal. They are named after the logician Alfred Horn, who first pointed out the significance of such clauses in 1951. Horn clauses play a… …   Wikipedia

  • Wedge Antilles — Star Wars character name = Wedge Antilles caption = color = green source = position = X wing pilot, Rogue Squadron commander, Wraith Squadron commander, New Republic general (former), Supreme Commander of Corellia s armed forces (former) species …   Wikipedia

  • Cláusula de Horn — En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo. Se llaman así por el lógico Alfred Horn, el primero en señalar la importancia de estas… …   Wikipedia Español

  • Big Wedge — is an American rock band formed in 1999 by guitarist/songwriter Steve Fleck and drummer/songwriter Kevin Distel. Band has released several well received independent albums, and has cult following in New York City area. The origin of their name is …   Wikipedia

  • Corran Horn — Pour les articles homonymes, voir Horn. Corran Horn Personnage de fiction apparaissant dans …   Wikipédia en Français

  • Corran Horn — Saltar a navegación, búsqueda En la saga de Star Wars, Corran Horn es un caballero Jedi, miembro de la Nueva Orden Jedi fundada por Luke Skywalker, años después de la derrota del Imperio Galáctico en la batalla de Endor. Corran creció en el… …   Wikipedia Español

  • arrow horn — noun : a wedge usually of horn or fiber set in the butt of an arrow shaft and containing a nock …   Useful english dictionary

  • Hornformel — Horn Formeln sind eine spezielle Teilmenge der aussagenlogischen Formeln. Benannt wurden sie nach dem US amerikanischen Logiker Alfred Horn. Inhaltsverzeichnis 1 Definition mit Horn Klauseln 1.1 Beispiele 1.2 Darstellungsformen von Horn Klauseln… …   Deutsch Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»